Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
151	CL-PD6710/’22  Preliminary Data Sheet FEATURES Add to Reading List Source URL: pcmcia-cs.sourceforge.net Language: English - Date: 1999-12-14 22:12:30 Computer memory Motherboard Industry Standard Architecture Parallel ATA Dynamic random-access memory PC Card Cirrus Logic Atmel AVR Computer hardware Computing Computer buses
152	Causal Emergence of “Soft” Events Myriam Abramson Naval Research Laboratory Washington, DC[removed]removed] Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-03-11 15:23:07 Science Systems theory Fuzzy cognitive map Bart Kosko Cognitive map Fuzzy control system Dynamic programming Fuzzy logic Knowledge representation Logic
153	Memory interfaces Support logic for memory modules and other memory subsystems Portfolio overview PC100 to PC133 Add to Reading List Source URL: www.nxp.com Language: English - Date: 2013-03-01 09:01:12 Computer memory Electronic engineering DDR2 SDRAM DDR SDRAM DDR3 SDRAM Synchronous dynamic random-access memory DIMM Dynamic random-access memory Stub Series Terminated Logic SDRAM Computer hardware Electronics
154	Temperature-Aware Voltage Selection for Energy Optimization Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2008-04-04 10:15:04 Heat transfer Digital electronics Energy conservation Dynamic voltage scaling Logic families Thermal runaway CMOS Temperature Heat sink Electronic engineering Electronics Chemistry
155	Information Systems Research Vol. 24, No. 3, September 2013, pp. 787–801 ISSN[removed]print) ISSN[removed]online) http://dx.doi.org[removed]isre[removed] © 2013 INFORMS Add to Reading List Source URL: scheller.gatech.edu Language: English - Date: 2014-03-18 21:45:16 Science Principal–agent problem Reinforcement learning Contract Dynamic programming Entailment Project management Logic Asymmetric information Information
156	Durham Research Online Deposited in DRO: 08 November 2010 Version of attached le: Published Version Add to Reading List Source URL: dro.dur.ac.uk Language: English - Date: 2014-03-10 11:36:36 Cross-platform software Memory management C++ Java bytecode Heap Separation logic Java C dynamic memory allocation Nim Computing Software engineering Computer programming
157	Dependency Parsing with Dynamic Bayesian Network Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 01:14:17 N-gram Bayesian inference Bayesian network Dependency grammar Graphical model Expectation–maximization algorithm Markov chain Probabilistic logic Hierarchical Bayes model Statistics Bayesian statistics Probability and statistics
158	A Calculational Approach to Program Inversion Shin-Cheng Mu Linacre College 23rd January 2003 Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 1969-12-31 19:00:00 Operations research Mathematical optimization Mathematical logic Analysis of algorithms Algorithm RSA Dynamic programming Tree traversal Time complexity Mathematics Theoretical computer science Applied mathematics
159	Differential Dynamic Logic for Verifying Parametric Hybrid Systems Andr´e Platzer1,2 1 University 2 Carnegie Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:58 Proof theory Differential equations Logic in computer science Control theory Hybrid system Sequent Mathematical logic Dynamic logic Mathematics Science Logic
160	NOTES ON THE FOUNDATIONS OF PROGRAMMING ALEX STEPANOV AND MAT MARCUS Disclaimer: Please do not redistribute. Instead, requests for a current draft should go to Mat Marcus. These notes are a work in progress and do not co Add to Reading List Source URL: www.emarcus.org Language: English - Date: 2011-09-23 00:58:41 Number theory Analysis of algorithms Binomial coefficient Permutation Big O notation Combinatory logic Factorial Dynamic programming Bernoulli number Mathematics Combinatorics Integer sequences

UPDATE